// Map.h
#ifndef __MAP_H__
#define __MAP_H__

#include <map>

#include "util/Pool.h"

template <typename K, typename T>
class Map : public std::map <K, T, std::less<K>, pool_allocator<std::pair<const K, T> > >
{
public:
    NEW_DELETE_OPERATORS_INLINE_H(Map,NoSuper);
};

#endif // __MAP_H__
